upper sequent перевод

upper: 1) передок ботинка2) гетры, гамаши3) _разг. верхнее место (в вагоне)4) верхняя челюсть или верхний зуб5) _горн. восстающий шпур6) _ам. _сл. возбуждающий наркотик, стимулянт _Id: to be (down) on one'
sequent: 1) следующий, последовательный, идущий по порядку Ex: sequent events цепь событий2) являющийся следствием
cognate sequent: сходная секвенция
derivable sequent: мат. выводимая секвенция
end sequent: матем. конечная секвенция
explicit sequent: мат. явная секвенция
implicit sequent: мат. неявная секвенция
lower sequent: мат. нижняя секвенция
negative sequent: мат. негативная секвенция
positive sequent: мат. позитивная секвенция
prenex sequent: мат. предваренная секвенция
provable sequent: мат. доказуемая секвенция
regular sequent: мат. регулярная секвенция
sequent calculus: Исчисление секвенций
true sequent: мат. истинная секвенция